Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·17h
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·59m
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.it·11h
🎲 Collaborative Text Editing from Scratch in Lexical
mortenson.coffee·12h
News for September 2025
ptreview.sublinear.info·2d
Loading...Loading more...